de Roever, Willem P. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (38)
Les plus populaires
Liste
- Liste
- Tableau

1

A proof system for concurrent ADA programs

Rob Gerth, Willem P De Roever

Journal:

Science of Computer Programming

Année:

1984

Langue:

english

Fichier:

PDF, 2.77 MB

english, 1984

2

Inductive Proof Outlines for Exceptions in Multithreaded Java

Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 314 KB

english, 2006

3

The rely-guarantee method for verifying shared variable concurrent programs

Qiwen Xu, Willem -Paul de Roever, Jifeng He

Journal:

Formal Aspects of Computing

Année:

1997

Langue:

english

Fichier:

PDF, 1.41 MB

english, 1997

4

A proof rule for fair termination of guarded commands

Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever

Journal:

Information and Control

Année:

1985

Langue:

english

Fichier:

PDF, 885 KB

english, 1985

5

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 4111 || Model-Based Security Engineering with UML: Introducing Security Aspects

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2006

Langue:

english

Fichier:

PDF, 606 KB

english, 2006

6

[Lecture Notes in Computer Science] Compositionality: The Significant Difference Volume 1536 || Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness

de Roever, Willem-Paul, Langmaack, Hans, Pnueli, Amir

Année:

1998

Langue:

english

Fichier:

PDF, 263 KB

english, 1998

7

Semantics of nondeterminism, concurrency, and communication

Nissim Francez, C.A.R. Hoare, Daniel J. Lehmann, Willem P. De Roever

Journal:

Journal of Computer and System Sciences

Année:

1979

Langue:

english

Fichier:

PDF, 1.21 MB

english, 1979

8

Compositional Operational Semantics of a UML-Kernel-Model Language

Harald Fecher, Marcel Kyas, Willem-Paul de Roever, Frank S. de Boer

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 331 KB

english, 2006

9

An assertion-based proof system for multithreaded Java

Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen

Journal:

Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 448 KB

english, 2005

10

Towards a practitioners' approach to Abadi and Lamport's method

Kai Engelhardt, Willem -Paul de Roever

Journal:

Formal Aspects of Computing

Année:

1995

Langue:

english

Fichier:

PDF, 1.43 MB

english, 1995

11

Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941–November 2, 2009)

Willem Paul de Roever

Journal:

Science of Computer Programming

Année:

2010

Langue:

english

Fichier:

PDF, 379 KB

english, 2010

12

PREFACE

Willem-Paul de Roever

Journal:

Information and Computation

Année:

2000

Langue:

english

Fichier:

PDF, 47 KB

english, 2000

13

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || TulaFale: A Security Tool for Web Services

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2004

Langue:

english

Fichier:

PDF, 467 KB

english, 2004

14

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || Tools for Generating and Analyzing Attack Graphs

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2004

Langue:

english

Fichier:

PDF, 1.27 MB

english, 2004

15

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 ||

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 4.67 MB

english, 2003

16

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Model-Based Testing of Object-Oriented Systems

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 323 KB

english, 2003

17

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 4709 ||

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2007

Langue:

english

Fichier:

PDF, 5.46 MB

english, 2007

18

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 4709 || Links: Web Programming Without Tiers

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2007

Langue:

english

Fichier:

PDF, 857 KB

english, 2007

19

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Reactive Animation

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 527 KB

english, 2003

20

[ACM Press the second annual ACM symposium - Montreal, Quebec, Canada (1983.08.17-1983.08.19)] Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 - Real-time programming and asynchronous message passing

Koymans, Ron, Vytopil, Jan, de Roever, Willem P.

Année:

1983

Langue:

english

Fichier:

PDF, 881 KB

english, 1983

21

A Proof System for Communicating Sequential Processes

Apt, Krzysztof R., Willem P. de Roever, Nissim and

Journal:

ACM Transactions on Programming Languages and Systems

Année:

1980

Langue:

english

Fichier:

PDF, 1.50 MB

english, 1980

22

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || Consistency Management within Model-Based Object-Oriented Development of Components

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2004

Langue:

english

Fichier:

PDF, 453 KB

english, 2004

23

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 245 KB

english, 2003

24

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Finding Implicit Contracts in .NET Components

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 498 KB

english, 2003

25

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Composition for Component-Based Modeling

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 296 KB

english, 2003

26

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Live and Let Die: LSC-Based Verification of UML-Models

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 523 KB

english, 2003

27

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 392 KB

english, 2003

28

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || A Calculus for Modeling Software Components

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 273 KB

english, 2003

29

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Specification and Inheritance in CSP-OZ

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 242 KB

english, 2003

30

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Abstract Behavior Types: A Foundation Model for Components and Their Composition

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 413 KB

english, 2003

31

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 435 KB

english, 2003

32

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Java Program Verification Challenges

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 217 KB

english, 2003

33

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || A Tool-Supported Proof System for Multithreaded Java

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 446 KB

english, 2003

34

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || ToolBus: The Next Generation

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 550 KB

english, 2003

35

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Equivalent Semantic Models for a Distributed Dataspace Architecture

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 259 KB

english, 2003

36

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Design with Asynchronously Communicating Components

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 223 KB

english, 2003

37

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || From Co-algebraic Specifications to Implementation: The Mihda Toolkit

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Langue:

english

Fichier:

PDF, 429 KB

english, 2003

38

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Concurrent Object-Oriented Programs: From Specification to Code

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Année:

2003

Fichier:

PDF, 310 KB

2003